Nuprl Definition : possible-event
0,22
postcript
pdf
PossibleEvent(
poss
) ==
es
:ES
E
poss
(
es
)
latex
clarification:
possible-event{i:l}(
poss
) ==
es
:ES{i}
es-E(
es
)
poss
(
es
)
latex
Definitions
ES
,
x
:
A
B
(
x
)
,
E
,
f
(
a
)
FDL editor aliases
possible-event
origin
Eposs(es)
es-E(es)poss(es) Eposs(es)
es-E(es)poss(es) B(x)